Quartz age extension applied to SE Asian cover sands

Controlled dissolution of quartz material.Part II. Quartz chemical etching applied to blanks industrial manufacturing

In many electronic applications, chemical etching process is used to manufacture the substrates. This method has been applied for long on quartz crystal blanks manufacturing for minor adjustments of the vibration frequencies. This paper pesents a way to implement an industrial chemical etching process specially dedicated for large thickness removals without damaging the blanks surface texture. ...

JPF-SE: A Symbolic Execution Extension to Java PathFinder

We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and explore symbolic execution paths and it uses off-the-shelf decision procedures to manipulate numeric constraints.

Health Cover(age)ing

Modified Gibbs-DiMarzio equation applied to the Ge-Se-Fe and Ge-Se-In chalcogenide glasses

The glass transition is a complex, non-equilibrium physical phenomenon and despite the numerous efforts expended in the last three decades, the mechanisms governing the glass transition continue to raise a lot of fundamental questions. Its study is of extreme importance from both academic and technological points of view. Several theoretical models have been developed to improve our understandi...

Comparison of Neural Classification Algorithms Applied to Land Cover Mapping

We compared the performance of several supervised classification algorithms on multi-source remotely sensed images. Apart from the Multi-Layer Perceptron, K-Nearest-Neighbour and Radial Basis Function network approaches, we looked more in detail at the Support Vector Machine classifier, which recently showed promising results in our setting. In particular, it is able to provide meaningful answe...